Inter-process buffers in separation logic with rely-guaranteeBORNAT, Richard; AMJAD, Hasan.Formal aspects of computing. 2010, Vol 22, Num 6, pp 735-772, issn 0934-5043, 38 p.Article

Dynamic synchrony among atomic actionsROMAN, G.-C; PLUN, J. Y; WILCOX, C. D et al.IEEE transactions on parallel and distributed systems. 1993, Vol 4, Num 6, pp 677-685, issn 1045-9219Article

Erlang for Concurrent ProgrammingLARSON, Jim.Communications of the ACM. 2009, Vol 52, Num 3, pp 48-56, issn 0001-0782, 9 p.Article

CONCUR 2004 : concurrency theory (London, 31 August - 3 September 2004)Gardner, Philippa; Yoshida, Nobuko.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22940-X, XIII, 528 p, isbn 3-540-22940-XConference Proceedings

Conseil de la concurrence: activité soutenue en 1993BOUCHER, L.Le Moniteur des travaux publics et du bâtiment. 1994, Num 4728, issn 0026-9700, 2 p.Article

CONCUR 2003 : concurrency theory (Marseille, 3-5 September 2003)Amadio, Roberto; Lugiez, Denis.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40753-7, XI, 524 p, isbn 3-540-40753-7Conference Proceedings

De la compétence du Conseil de la ConcurrenceFONTAINE, D.Petites Affiches (Les). 1989, Num 88, pp 6-9Article

Semaphores for fair scheduling monitor conditionsDUNSTAN, N.Operating systems review. 1991, Vol 25, Num 3, pp 27-31, issn 0163-5980, 5 p.Article

An algebraic characterization of a class of Patri netsKORCZYNSKI, W.Kernforschungszentrum Karlsruhe. 1990, Num 4635, issn 0303-4003, 13 p.Serial Issue

Starvation-free secure multiversion concurrency controlKIM, H.-T; MYOUNG HO KIM.Information processing letters. 1998, Vol 65, Num 5, pp 247-253, issn 0020-0190Article

Management of concurrency in interpolation based grid file organization and its performanceARIS OUKSEL, M; VIJAY KUMAR; CHAYANIKA MAJUMKAR et al.Information sciences. 1994, Vol 78, Num 1-2, pp 129-158, issn 0020-0255Article

Two-phase locking performance and its thrashing behaviorTHOMASIAN, A.ACM transactions on database systems. 1993, Vol 18, Num 4, pp 579-625, issn 0362-5915Article

A highly concurrent group mutual l-exclusion algorithmVIDYASANKAR, K.Parallel processing letters. 2006, Vol 16, Num 4, pp 467-483, issn 0129-6264, 17 p.Article

Self-assessment procedure XXI : a self-assessment procedure on concurrencyRUDOLPH, B. A.Communications of the ACM. 1990, Vol 33, Num 5, pp 563-576, issn 0001-0782, 14 p.Article

Concurrent Zero Knowledge, RevisitedPASS, Rafael; TSENG, Wei-Lung Dustin; VENKITASUBRAMANIAM, Muthuramakrishnan et al.Journal of cryptology. 2014, Vol 27, Num 1, pp 45-66, issn 0933-2790, 22 p.Article

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory SystemsVOLOS, Haris; WELC, Adam; ADL-TABATABAI, Ali-Reza et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2009, pp 291-292, isbn 978-1-60558-397-6, 1Vol, 2 p.Conference Paper

Neuvième rapport d'activité ― Année 1995Journal officiel de la République française. Document administratif. 1996, Num 18, issn 0242-6773, 500 p., , ann. (452 p.)Report

Marchés: l'équilibre entre sous-traitance et droit de la concurrenceCOURIVAUD, H.Le Moniteur des travaux publics et du bâtiment. 1996, Num 4827, pp 48-50, issn 0026-9700Article

The performance of current B-tree algorithms = La performance des algorithmes courants des B-arbresJOHNSON, T; SHASHA, D.ACM transactions on database systems. 1993, Vol 18, Num 1, pp 51-101, issn 0362-5915Article

Efficient on-the-fly data race detection in multithreaded C++ programsPOZNIANSKY, Eli; SCHUSTER, Assaf.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 178-189, issn 1523-2867, 12 p.Conference Paper

La consultation du Conseil de la concurrence sur les textes législatifs et réglementaires anti-concurrentielsCHEROT, Y.Recueil Dalloz Sirey de doctrine de jurisprudence et de législation. 1995, Num 31, issn 0034-1835, p. 233 chroniqueArticle

L'activité du Conseil de la concurrence en 1990IDOT, L.Recueil Dalloz Sirey de doctrine de jurisprudence et de législation. 1991, Num 42, pp 289-300, issn 0034-1835, chroniqueArticle

L'Etat devant le conseil de la concurrence (décision du conseil de la concurrence du 29 mai 1991)MONSALLIER, M.-C; DRAGO, R.sd, 12 p.Thesis

Le droit de la concurrence sert-il l'intérêt du consommateur ?BIENAYMÈ, A.Problèmes économiques (Paris). 1996, Num 2487, pp 20-25, issn 0032-9304Article

Bilan de l'activité du Conseil de la concurrence en 1995PICARD.LES NOTES BLEUES DE BERCY. 1996, Num 96, 8 p., Comptes et agents économiquesArticle